(0 12 3)(1 17 2)(4 19 16)(5 10 8)(6 20 7)(9 14 11)(13 18 15)
ALLOWS (11/8)-SEQUENCE
1: (2 10 17)

(0 12 3)(1 17 8 5 10)(2)(4 19 16)(6 20 7)(9 14 11)(13 18 15)
2: (0 12 3)

(0)(1 17 8 5 10)(2)(3)(4 19 16)(6 20 7)(9 14 11)(12)(13 18 15)
3: (9 14 11)

(0)(1 17 8 5 10)(2)(3)(4 19 16)(6 20 7)(9)(11)(12)(13 18 15)(14)
4: (1 17 8)

(0)(1 5 10)(2)(3)(4 19 16)(6 20 7)(8)(9)(11)(12)(13 18 15)(14)(17)